Cubical Type Theory
Cubical Type Theory
『Cubical Type Theory: a constructive interpretation of the univalence axiom』
を読む
確認用
Q. Cubical Type Theory
メモ
/mrsekut-p/Cubical Type Theory
cubical type theory in nLab
【1611.02108】 Cubical Type Theory: a constructive interpretation of the univalence axiom
1Lab - 1Lab
Type-Theoretic Truncation Levels - YouTube
https://www.youtube.com/watch?v=LWQqE2JcDSQ&list=PL0OBHndHAAZrGQEkOZGyJu7S7KudAJ8M9
調査用
Google.icon
Cubical Type Theory(日)
Google.icon
Cubical Type Theory(英)
Wikipedia.icon
Cubical Type Theory - Wikipedia(日)
Cubical Type Theory(検索) - Wikipedia(日)
Wikipedia.icon
Cubical Type Theory - Wikipedia(英)
Cubical Type Theory(検索) - Wikipedia(英)